Attribute Grammars and Folds : Generic Control Operators

Generic control operators, such as fold, have been introduced in functional programming to increase the power and applicability of data-structure-based transformations. This is achieved by making the structure of the data more explicit in program speciications. We argue that this very important property is one of the original concepts of attribute grammars. In this paper, we informally show the similarities between the fold formalism and attribute grammar speciications. We also compare their respective method to eliminate the intermediate data structures introduced by function composition (notion of deforestation or fusion): the normalization algorithm for programs expressed with folds and the descriptional composition of attribute grammars. Rather than identify the best way to achieve deforestation, the main goal of this paper is merely to intuitively present two programming paradigms to each other's supporting community and provide an unbiased account of their similarities and diierences, in the hope that this leads to fruitful cross-fertilization. Grammaires Attribuues et Folds : Oprateurs de Contrrle GGnnriques RRsumm : Les oprateurs de contrrle ggnnriques tels que fold ont tt introduits dans la pro-grammation fonctionnelle pour augmenter la puissance et le champs d'application des transformations basses sur la structure des donnnes. Ceci est obtenu en rendant la structure des donnnes plus explicite dans la spciication des programmes. Nous considdrons que cette caracttristique fondamentale est l'un des concepts de base des grammaires attribuues. Dans cet article, nous exposons informellement les similitudes entre le formalisme du fold et la spciication des grammaires attribuues. Nous comparons gale-ment leurs mmthodes respectives d''limination des structures intermmdiaires introduites par la composition de fonctions (notion de ddforestation ou de fusion) : l'algorithme de normalisa-tion pour les programmes exprimms l'aide de folds et la composition descriptionnelle pour les grammaires attribuues. Pluttt que de ddterminer la meilleure faaon d'eeectuer la ddforestation, le but principal de cet article est simplement de prrsenter intuitivement chacun de ces deux paradigmes de pro-grammation la communautt qui soutient l'autre, et de ddcrire objectivement leurs similitudes et leur diiirences, dans l'espoir que cela conduise des fertilisations croisses fructueuses.